Complexity and Approximability of Parameterized MAX-CSPs Holger Dell1 , Eun Jung Kim2 , Michael Lampis3 , Valia Mitsou4 , and Tobias Mömke5 1

Source URL: drops.dagstuhl.de

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Constraint programming
• NP-complete problems
• Boolean algebra
• Parameterized complexity
• Boolean satisfiability problem
• Constraint satisfaction problem
• Exponential time hypothesis
• Treewidth
• Tree decomposition

July 28–31, 2009, Seoul, Korea Conference Program A registration desk will be located in front of the Main Auditorium in Bldg 1 during the conference. You can get your banquet ticket at the registration desk. Plenary

Source URL: issac2009.kias.re.kr

• Mathematics
• Algebra
• Computer algebra
• Polynomials
• Grbner basis
• Regular chain
• Polynomial
• System of polynomial equations
• Symbolic computation
• Factorization
• Resultant
• Finite field

Introduction Interplay: Process Algebra and Markov Process Applications

Source URL: homepages.inf.ed.ac.uk

• Process calculi
• Jane Hillston
• PEPA
• Markov chain
• Laboratory for Foundations of Computer Science
• Process calculus
• Algebra
• Edinburgh
• Theoretical computer science
• Mathematics
• TAPAs model checker

The LIE Package Carsten and Franziska Sch¨obel The Leipzig University, Computer Science Dept. Augustusplatz 10/11, O-7010 Leipzig, Germany Email: 22 January 1993

Source URL: reduce-algebra.com

POLYDIV: Enhanced Polynomial Division Francis J. Wright School of Mathematical Sciences Queen Mary and Westfield College University of London Mile End Road, London E1 4NS, UK.

Source URL: reduce-algebra.com

• Algebra
• Mathematics
• Abstract algebra
• Polynomials
• Computer algebra
• Ring theory
• Commutative algebra
• Polynomial
• Primitive part and content
• Euclidean domain
• Ring
• Remainder

Intel Parallel Computing Center The Innovative Computing Laboratory The University of Tennessee, Knoxville MAGMA MIC

Source URL: icl.cs.utk.edu

• Computing
• Software
• Numerical software
• Numerical analysis
• Numerical linear algebra
• Computer architecture
• Parallel computing
• Basic Linear Algebra Subprograms
• Comparison of linear algebra libraries
• PBLAS
• LAPACK
• Magma

Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.

Source URL: homepages.inf.ed.ac.uk

• Process calculi
• Theoretical computer science
• Formal methods
• Metaphor
• Simulation
• PEPA
• Jane Hillston
• Scientific modelling
• Stochastic
• Process calculus
• Economic model
• Semantics

Microsoft PowerPoint - lecture_Yop_spring05v2.ppt

Source URL: sicp.csail.mit.edu

• Mathematics
• Algebra
• Computability theory
• Linear algebra
• Spectral theory
• Theoretical computer science
• Subroutines
• Recursion
• Recurrence relation
• Lambda calculus
• Spectral theory of ordinary differential equations

Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Using technology for maths teaching and learning:

Source URL: cadgme.ms.sapientia.ro

• Education
• Educational psychology
• Mathematics education in the United Kingdom
• Applied psychology
• Communication design
• Instructional design
• Learning
• Sapientia University

Ramsey Classes by Partite Construction II Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science

Source URL: www.ucw.cz

• Mathematics
• Algebraic structures
• Model theory
• Mathematical logic
• Universal algebra
• Ramsey theory
• Structure
• Ramsey class
• FO
• Semigroup
• Lattice